From Bidirectionality to Alternation
نویسندگان
چکیده
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on finite words, and extend it to automata on infinite words.
منابع مشابه
Bidirectionality and Compartmentation of Metabolic Fluxes Are Revealed in the Dynamics of Isotopomer Networks
Isotope labeling is one of the few methods of revealing the in vivo bidirectionality and compartmentalization of metabolic fluxes within metabolic networks. We argue that a shift from steady state to dynamic isotopomer analysis is required to deal with these cellular complexities and provide a review of dynamic studies of compartmentalized energy fluxes in eukaryotic cells including cardiac mus...
متن کاملExploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms
Arc consistency plays a central role in solving Constraint Satisfaction Problems. This is the reason why many algorithms have been proposed to establish it. Recently, an algorithm called AC2001 and AC3.1 has been independently presented by their authors. This algorithm which is considered as a refinement of the basic algorithm AC3 has the advantage of being simple and competitive. However, it d...
متن کاملBrain signal variability as a window into the bidirectionality between music and language processing: moving from a linear to a nonlinear model
There is convincing empirical evidence for bidirectional transfer between music and language, such that experience in either domain can improve mental processes required by the other. This music-language relationship has been studied using linear models (e.g., comparing mean neural activity) that conceptualize brain activity as a static entity. The linear approach limits how we can understand t...
متن کاملAlternation in Erythrocyte Enzyme Antioxidant Activity during Blood Storage
Background: Blood is permanently exposed to oxidation stress and therefore has a high antioxidants capacity. Many different factors increasing the demand for the antioxidant capacity can be observed in the stored blood of donors. Consequently, damage to erythrocytes by free radicals may occur. So it is useful to control the alternation of anti-oxidant enzymes in stored blood at different days o...
متن کاملRemoving Bidirectionality from Nondeterministic Finite Automata
We prove that every two-way nondeterministic finite automaton with n states has an equivalent one-way nondeterministic finite automaton with at most 2n n+1 states. We also show this bound is exact.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 295 شماره
صفحات -
تاریخ انتشار 2001